Validated computation of global solutions to ODEs
نویسندگان
چکیده
منابع مشابه
Computation of All Rational Solutions of First-Order Algebraic ODEs
In this paper, we consider the class of first-order algebraic ordinary differential equations (AODEs), and study their rational solutions in three different approaches. A combinatorial approach gives a degree bound for rational solutions of a class of AODEs which do not have movable poles. Algebraic considerations yield an algorithm for computing rational solutions of quasilinear AODEs. And fin...
متن کاملNon-negative solutions of ODEs
This paper discusses procedures for enforcing non-negativity in a range of codes for solving ordinary differential equations (ODEs). This codes implement both one-step and multistep methods, all of which use continuous extensions and have event finding capabilities. Examples are given. 2005 Published by Elsevier Inc.
متن کاملPerformance of Taylor Model Methods for Validated Integration of ODEs
The performance of various Taylor model (TM)-based methods for the validated integration of ODEs is studied for some representative computational problems. For nonlinear problems, the advantage of the method lies in the ability to retain dependencies of final conditions on initial conditions to high order, leading to the ability to treat large boxes of initial conditions for extended periods of...
متن کاملPolynomial odes: examples, solutions, properties
ABSTRACT. Let P be a polynomial from R → R and D ∈ R. I will consider the properties of the class of ODEs Y ′ = P (y) ; Y (0) = D and their solutions. The solution space to these ODEs form a proper subspace of the analytic functions with ODEs. They have many interesting algebraic and topological properties. I will present efficient methods for generating the power series solutions to these poly...
متن کاملValidated Computation of Heteroclinic Sets
In this work we develop a method for computing mathematically rigorous enclosures of some one dimensional manifolds of heteroclinic orbits for nonlinear maps. Our method exploits a rigorous curve following argument build on high order Taylor approximation of the local stable/unstable manifolds. The curve following argument is a uniform interval Newton method applied on short line segments. The ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nonlinear Theory and Its Applications, IEICE
سال: 2013
ISSN: 2185-4106
DOI: 10.1587/nolta.4.88